<?php $pagetitle=" | Software" ?>

<?php include 'htmlhead.php'; ?>

<BODY>
 <DIV id="container">
  <?php include 'header.php'; ?>
  <DIV id="main">
   <DIV id="content"> 
    <DIV class="section" id="lesk">
     <H1> Software </H1>
      <P>
       <UL>
        <LI><A HREF="https://www.cs.utexas.edu/users/tag/cmodels/">Cmodels</A></LI>
        <LI><A HREF="http://www.cs.utexas.edu/users/tag/sup/">Sup</A></LI>
        <LI><A HREF="http://www.kr.tuwien.ac.at/staff/former_staff/ps/aspccgtk/">AspCCGtk</A></LI>
        <LI><A HREF="lesk.php"> Lesk implementations </A></LI>
       </UL>
     </P>
    </DIV>
   </DIV>
  </DIV>
  <?php include 'footer.php'; ?>
 </DIV>
</BODY>
